Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
161	5 DEVELOPING RESPONSES TO READINGS: ESSAYS T Add to Reading List Source URL: writing.colostate.edu Language: English - Date: 2010-10-17 13:04:21 Critical thinking Philosophy Logic Epistemology Arguments Rhetoric Belief Argument Informal logic Reason Mathematical proof Explanation
162	Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs ∗ J¨urgen Giesl Thomas Str¨oder Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2012-07-18 09:07:52 Logic Mathematical logic Theoretical computer science Automated theorem proving Logic programming Logic in computer science Type theory Logical truth Substitution Unification Admissible rule Symbol
163	IFSA Newsletter Vol.1, No.4 Issued on Oct. 31, 2004 http://www.pa.info.mie-u.ac.jp/~furu/ifsa/ EUSFLAT: European Society for Fuzzy Logic and Technology Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:39 Fuzzy logic Artificial intelligence Logic Mathematical logic Science and technology Logic in computer science Fuzzy set Computational intelligence Fuzzy control system European Society for Fuzzy Logic and Technology
164	Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China Add to Reading List Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com Language: English - Date: 2012-07-04 18:28:36 Formal languages Mathematical analysis Mathematics Theoretical computer science Symbol Omega language Constructible universe Regular language Star height Linear temporal logic Differential forms on a Riemann surface
165	Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2015-08-02 19:16:33 Automated theorem proving Software CADE ATP System Competition E theorem prover CASC Andrei Voronkov Mathematical logic
166	D:E_FINAL 3-2010cad04PaginatedFilesd-skundud-skunduproof Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2011-04-30 20:20:23 Formal methods Mathematical logic Algorithm Theoretical computer science Refinement
167	A On the Power of Substitution in the Calculus of Structures Novak Novakovi´c, Inria Lutz Straßburger, Inria There are two contributions in this paper. First, we give a direct proof of the known fact that Frege system Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-04-07 12:31:04 Logic Mathematical logic Propositional calculus Proof theory Automated theorem proving Logical truth Boolean algebra Frege system Substitution Natural deduction Hilbert system Sequent
168	The CPS transform from Griffin. Let us first repeat what Herman already showed on the blackboard. The definition of the CPS transform in Griffin is: x = λk. kx λx. M = λk. k (λx. M ) M N = λk. M (λm. N (λn. mnk)) Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-28 07:13:57 Computability theory Mathematical logic Theoretical computer science Mathematics Differential topology Orbifold Combinatory logic
169	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2015-10-13 07:15:16 Computing Science and technology Software engineering Algorithm Mathematical logic Theoretical computer science Object-relational database Programming language Computer science Object-oriented programming Artificial neural network Database
170	Microsoft Word - K1_bio.docx Add to Reading List Source URL: www.itng.info Language: English - Date: 2016-04-13 20:28:16 Algorithm Mathematical logic Theoretical computer science Pancake sorting Mathematics

UPDATE